#pragma GCC optimize(2)
#include <iostream>
#include <algorithm>
#include <cstring>
#include <string>
#include <map>
#include <vector>

using namespace std;
using LL = long long;

const int N = 5e5 + 10;

int n, x;
int a[N];

bool check(){
    for(int i = 1; i < x; i ++){
        if((a[i] % (i + 1)) == 0){
           a[i + 1] += a[i] / (i + 1);
        }else{
            return false;
        }
    }

    return true;
}

int main(){
    freopen("in.txt", "r", stdin);
    freopen("out.txt", "w", stdout);
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    cin >> n >> x;

    for(int i = 1, t; i <= n; i ++){
        cin >> t;
        if(t < x){
            a[t] ++;
        }
    }

    if(check()){
        cout << "Yes" << '\n';
    }else{
        cout << "No" << '\n';
    }


    return 0;
}